Galia Assadi: Ordnung durch Verantwortung

Nichtlineare Integro-Differentialgleichungen zweiter Ordnung

Visuelle Datenflusssprache mit Kombinatoren höherer Ordnung

Modern software engineering deals with professional development of high quality software systems. Software quality and especially relative correctness of programs based on a specification can be determined by formal methods. At best a formal verification can be performed a posteriori on the basis of a complete program. This thesis investigates a constructive approach which generates programs co...

Systematik zur Ordnung mobiler Assistierender Gesundheitstechnologien

Persönliche Verantwortung und Haftungsrisiken von IT-Verantwortlichen-Strafrechtliche Aspekte

Die Nutzung von Computern, Internet und E-Mail im Geschäftsleben hat in den letzten Jahren rasant zugenommen. Der Einsatz dieser Informationssysteme geht einher mit der Vernetzung der Datenverarbeitung in den Betrieben. Waren in der Vergangenheit nur einzelne betriebliche Funktionen, wie Buchführung oder Gehaltsabrechnung in ein EDV-System integriert, verfügen heute zahlreiche Arbeitnehmer eine...

Eine strikt dissipative Zustandsraumdarstellung von Systemen zweiter Ordnung

This article introduces a novel way of transforming linear second order systems to first order state space models in strictly dissipative realization. This property extends the potential for the analysis of large-scale systems in many ways: it allows for the application of efficient methods for the solution of Lyapunov equations and the guaranteed preservation of asymptotic stability during mod...